Online piece-wise linear approximation of numerical streams with precision guarantees
نویسندگان
چکیده
منابع مشابه
Online Piece-wise Linear Approximation of Numerical Streams with Precision Guarantees
Continuous “always-on” monitoring is beneficial for a number of applications, but potentially imposes a high load in terms of communication, storage and power consumption when a large number of variables need to be monitored. We introduce two new filtering techniques, swing filters and slide filters, that represent within a prescribed precision a time-varying numerical signal by a piecewise lin...
متن کاملTrajectory piece-wise quasi-linear approximation of large non-linear dynamic systems
In this work we extend the trajectory piece-wise linear (TPWL) approximation of large, non-linear and input-affine dynamical systems to non-linear systems with non-linear input operators. The new technique is called the trajectory piece-wise quasi-linear (TPWQ) approximation. We explain the motivation for this technique in light of previously reported under-performance of the TPWL method and sh...
متن کاملGradient Boosting With Piece-Wise Linear Regression Trees
Gradient boosting using decision trees as base learners, so called Gradient Boosted Decision Trees (GBDT), is a very successful ensemble learning algorithm widely used across a variety of applications. Recently, various GDBT construction algorithms and implementation have been designed and heavily optimized in some very popular open sourced toolkits such as XGBoost and LightGBM. In this paper, ...
متن کاملReduced order modeling for transient simulation of power systems using trajectory piece-wise linear approximation
This paper concerns the application of reduced order modeling techniques to power grid simulation. Swing dynamics is a complex non-linear phenomenon due to which model order reduction of these problems is intricate. A multi point linearization based model reduction technique trajectory piece-wise linearization (TPWL) method is adopted to address the problem of approximating the nonlinear term i...
متن کاملFormal Verification of Piece-Wise Linear Feed-Forward Neural Networks
We present an approach for the verification of feed-forward neural networks in which all nodes have a piece-wise linear activation function. Such networks are often used in deep learning and have been shown to be hard to verify for modern satisfiability modulo theory (SMT) and integer linear programming (ILP) solvers. The starting point of our approach is the addition of a global linear approxi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the VLDB Endowment
سال: 2009
ISSN: 2150-8097
DOI: 10.14778/1687627.1687645